-recursive function - PDFSEARCH.IO - Document Search Engine

-recursive function
Results: 178

#	Item
111	Extracting Feasible Programs Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:16:21 Proof theory Functions and mappings Logic in computer science Function Primitive recursive function Curry–Howard correspondence Second-order logic Modal logic Computational complexity theory Mathematics Logic Mathematical logic
112	Homework 7: Numerical Integration (Quadrature) Assigned: Wed Nov 16. Due: Wed Nov 30 This homework asks you to make changes to Moler’s program quadtx and the recursive function that it calls, quadtxstep to make it even Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-11-16 21:10:28 Functions and mappings Recursion Numerical analysis Numerical integration Integral Function Subroutine Infinite loop C Computer programming Software engineering Computing
113	On-line appendix to "Estimating overidenti…ed, non-recursive, time varying coe¢ cients structural VARs" Fabio Canova Fernando J. Pérez Forero. Add to Reading List Source URL: qeconomics.org Language: English - Date: 2014-11-24 16:20:37 Vector calculus Vector-valued function Vectors State space Optimal control Mathematics Control theory Linear algebra
114	On-line appendix to "Estimating overidenti…ed, non-recursive, time varying coe¢ cients structural VARs" Fabio Canova Fernando J. Pérez Forero. Add to Reading List Source URL: www.qeconomics.org Language: English - Date: 2014-11-24 16:20:37 Vector calculus Vector-valued function Vectors State space Optimal control Mathematics Control theory Linear algebra
115	A Robust Nonlinear Beamforming Assisted Receiver for BPSK Signalling S. Chen, A. Wolfgang and L. Hanzo School of ECS, Univ. of Southampton, SO17 1BJ, U.K; [removed] A BSTRACT Nonlinear beamforming designed for w Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 12:40:20 Mathematics Adaptive beamformer Beamforming Recursive least squares filter Radial basis function network Statistical classification Conjugate gradient method Signal processing Applied mathematics Statistics
116	arXiv:1111.4405v1 [math.AG] 18 Nov[removed]TRANSFER PRINCIPLES FOR INTEGRABILITY AND BOUNDEDNESS CONDITIONS FOR MOTIVIC EXPONENTIAL FUNCTIONS RAF CLUCKERS, JULIA GORDON, AND IMMANUEL HALUPCZOK Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-10-27 22:37:41 Fourier analysis Fourier transform Joseph Fourier Exponential function Function Presburger arithmetic Primitive recursive function Mathematical analysis Mathematics Functions and mappings
117	Solutions of the Goncharov-Millar and Degree Spectra Problems in The Theory of Computable Models Bakhadyr Khoussainov The University of Auckland New Zealand Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-11-18 16:33:20 Computer science Mathematics Computable function Recursive set Recursively enumerable set Turing reduction Computable isomorphism Low RE Computability theory Theoretical computer science Theory of computation
118	SOME AXIOMS FOR CONSTRUCTIVE ANALYSIS JOAN RAND MOSCHOVAKIS AND GARYFALLIA VAFEIADOU Abstract. This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standp Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2011-06-07 15:01:39 Functions and mappings Computability theory Intuitionism Mathematical constructivism Logic in computer science Constructible universe Constructivism First-order logic Primitive recursive function Mathematical logic Mathematics Logic
119	Decomposition of a recursive family of polynomials ´ Andrej Dujella and Ivica Gusic Abstract We describe decomposition of polynomials fn := fn,B,a defined by Add to Reading List Source URL: bib.irb.hr Language: English - Date: 2006-08-01 16:41:56 Mathematical analysis Bernoulli polynomials Orthogonal polynomials Algebraic function Dickson polynomial Recurrence relation Euclidean algorithm Chebyshev polynomials Mathematics Polynomials Algebra
120	PDF Document Add to Reading List Source URL: fortnow.com Language: English - Date: 2011-05-03 09:10:11 Theory of computation Computability theory Formal languages Recursion ACM SIGACT Symposium on Theory of Computing Finite-state machine Recursive language Primitive recursive function Applied mathematics Theoretical computer science Mathematics

UPDATE